The RuleML Knowledge-Interoperation Hub
نویسنده
چکیده
The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of formal knowledge. The representation system permits the configuration of textbook and enriched Relax NG syntax as well as the association of syntax with semantics. The transformation tool suite includes serialized formatters (normalizers and compactifiers), polarized parsers and generators (the RuleML↔POSL tool and the RuleML→PSOA/PS generator and PSOA/PS→AST parser), as well as importers and exporters (the importer from Dexlog to Naf Datalog RuleML and the exporter from FOL RuleML languages to TPTP). An N3-PSOA-Flora knowledgeinteroperation use case is introduced for illustration.
منابع مشابه
University of New Brunswick Translating FOAF/RDF-like Profiles for an eTourism Use Case of OO jDREW
As a contribution to knowledge interoperation between Semantic Web languages, the XSLT-based translator RDF2POSL from OWL/RDF instances with subClassOf taxonomies to RuleML and POSL with order-sorted types is discussed. The RuleML and OO jDREW use case eTourPlan for FOAF/RDF-based travel recommendations is presented.
متن کاملWellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation
An interoperation study, WellnessRules, is described, where rules about wellness opportunities are created by participants in rule languages such as Prolog and N3, and translated within a wellness community using RuleML/XML. The wellness rules are centered around participants, as profiles, encoding knowledge about their activities conditional on the season, the time-of-day, the weather, etc. Th...
متن کاملA Framework for Web-based Interoperation among Business Rules
The present paper describes the approach and two technical solutions for interoperation between business rules represented in various formats. The Semantic Web techniques are used to enable this interoperation. One of the interoperation methods uses the Java Interoperation Object (JIO) described in the context of Positional-Slotted Language (POSL), which a human-friendly variant of the Rule Mar...
متن کاملTranslating Higher-Order Modal Logic from RuleML to TPTP
This paper discusses extensions of RuleML and TPTP for higher-order logic, modal logic, and higher-order modal logic. For these extensions, an extended XSLT 2.0-based translator is presented which maps from RuleML/XML to TPTP. With this implemented HOML RuleM2TPTP tool, TPTP can benefit from RuleML interoperation and much of Deliberation RuleML can execute on TPTP-aware provers.
متن کاملA RuleML-Based Ontology for Interoperation between Learning Objects and Learners
This paper presents a context mediation based approach for achieving interoperability among semantically heterogeneous learning objects and learners. The presented work is focused on building a common ontology for the domain of learning objects participating in data exchange. An ontological graph is proposed as a knowledge representation of the ontology, and methods for manipulating ontologies ...
متن کامل